canonically isomorphic

[数] 典范同构的